[PATCH] [WebAssembly] Use default attributes for intrinsics
authorNikita Popov <npopov@redhat.com>
Mon, 7 Nov 2022 14:50:05 +0000 (15:50 +0100)
committerGianfranco Costamagna <locutusofborg@debian.org>
Thu, 7 Sep 2023 22:43:45 +0000 (00:43 +0200)
commit780aef5c939aa11ed65b3aee25280ab3355aad14
tree5cde35a1e78aa868c307aaac699b5c3b5861fe65
parent5ea14cc3f2c8edcdda34557c480be9bfa8403cee
[PATCH] [WebAssembly] Use default attributes for intrinsics

This switches wasm intrinsics to use default attributes,
i.e. nofree, nosync, nocallback and willreturn. Especially
willreturn will be required to avoid optimization regressions
in the future.

The attributes are omitted from the trapping fptoi intrinsics
(where I assume trapping is considered well-defined, and as such
these aren't willreturn), the throw/rethrow intrinsics (which
will unwind) and the atomic intrinsics (which aren't nosync).

Differential Revision: https://reviews.llvm.org/D137551

Gbp-Pq: Name CVE-2023-29932.patch
llvm/include/llvm/IR/IntrinsicsWebAssembly.td
llvm/test/CodeGen/WebAssembly/lower-wasm-ehsjlj.ll